621. The strange logic of random graphs
Author: Spencer, Joel H.
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Random graphs,، Logic, Symbolic and mathematical
Classification :
QA
166
.
17
.
S64
622. The technique of theory construction
Author: Woodger, Joseph Henry
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Logic, Symbolic and mathematical
Classification :
Q
121
.
I5
Vol
.
2
No
.
5
623. <The> theory of models
Author: / Edited by J.W. Addison, Lعeon Henkin [and] Alfred Tarski
Library: Central Library and Documents Center of Allameh Tabatabaei University (Tehran)
Subject:
Classification :
BC135
،.
I5
1965
624. The theory of models; proceedings
Author:
Library: Library of the Faculty of Economics University of Tehran (Tehran)
Subject: Logic Symbolic and mathematical models-Congresses
Classification :
BC
135
.
I586
625. The theory of models; proceedings
Author: Edited by J.W. Addison, Leon Henkin )and( Alfred Tarski
Library: Library of College of Science University of Tehran (Tehran)
Subject: Congresses ، Logic, Symbolic and mathematical,Congresses ، Mathematical models
Classification :
BC
135
.
I586
1963
626. The uncertain reasoner's companion : a mathematical perspective
Author: Paris, J. B.
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Logic, Symbolic and mathematical,، Uncertainty,، Reasoning
Classification :
QA
9
.
P26
627. Theorems, corollaries, lemmas, and methods of proof
Author: Rossi, Richard J., 6591-
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Textbooks ، Proof theory,Textbooks ، Mathematical analysis -- Foundations,Textbooks ، Logic, Symbolic and mathematical
Classification :
QA
9
.
54
.
R68T4
628. Thinking, feeling, and being: Clinical reflections on the fundamental antinomy of human beings and world
Author: Icnacio Matte-Blanco
Library: Central Library and Information Center of Shahed University (Tehran)
Subject: Subconscousness,Fred, Sigmund, 1856 - 1939,Logic, Symbolic and mathematical,Psychoanalysis
Classification :
BF
،
315
،.
M34
،
1988
629. Thinking, feeling, and being: clinical reflections on the fund amental antinomy of human beings and world
Author: Matte-Blanco, Ignacio.
Library: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
Subject: Subconsciousness,Freud, sigmund, 6581-9391,، Logic, Symbolic and mathematical,، Psychoanalysis
Classification :
BF
315
.
M34
1988
630. Thirty years of foundational studies; lectures on the development of mathematical logic and the study of the foundations of mathematics in 1930-1964
Author: Mostowski, Andrzej
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Logic, Symbolic and mathematical,، Mathematics-- Philosophy
Classification :
B
28
.
F5
.
A3
Fasc
.
17
631. Topics in engineering logic
Author: Madler, Morton.
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Electronic digital computers-- Design and construction,، Logic, Symbolic and mathematical
Classification :
TK
7888
.
3
.
N3
1962
632. Towards Mathematical Philosophy
Author: \ David Makinson, Jacek Malinowski, Heinrich Wansing Editors
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Logic, Symbolic and mathematical -- Congresses. ,Mathematics -- Philosophy -- Congresses. ,منطق ریاضی -- کنگرهها ,ریاضیات -- فلسفه -- کنگره ها
Classification :
E-Book
,
633. Tracking Reason
Author: \ Jody Azzouni.
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Proof theory.,Logic, Symbolic and mathematical.,منطق ریاضی
Classification :
QA9
.
54
.
A99T7
2006
634. Tracking reason : proof, consequence, and truth
Author: Azzouni, Jody, 4591-
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Proof theory,، Logic, Symbolic and mathematical
Classification :
QA
9
.
54
.
A99T7
635. Traite de logique; essai de logistique operatoire
Author: Jean Piaget
Library: Library of Faculty Literature of University of Tehran (Tehran)
Subject: Logic, Symbolic and mathematical.,Logic.
636. Truth, possibility and probability : new logical foundations of probability and statistical inference
Author: Chuaqui, Rolando
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Logic, Symbolic and mathematical
Classification :
QA
9
.
C58
1991
637. Two applications of logic to mathematics
Author: Takeuti, Gaisi
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Logic, Symbolic and mathematical,، Algebra, Boolean
Classification :
QA
9
.
T26
638. Understanding symbolic logic
Author: Virginia Klenk
Library: Central Library and Information Center of Shahed University (Tehran)
Subject: Logic, Symbolic and mathematical
Classification :
BC
،
135
،.
K53
،
1989
639. Understanding symbolic logic
Author: / Virginia Klenk
Library: Library of Islamic Encyclopedia Foundation (Tehran)
Subject: منطق ریاضی,Logic, Symbolic and mathematical
Classification :
BC135
.
K53
640. Vivid logic : knowledge-based reasoning with two kinds of negation
Author: Wagner, Gerd, 7591-
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Expert systems )Computer science(,، Logic, Symbolic and mathematical
Classification :
QA
76
.
L28
Vol
.
764
